Temporal logic and its application to normative reasoning

Temporal STIT logic and its application to normative reasoning

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. To cite this version : Lorini, Emiliano Temporal STIT logic and its application to normative reasoning. I present a variant of STIT with time, called T-STIT (Temporal STIT), interpreted in standard Kripke semantics. On the syntactic level, T-STIT is nothin...

Temporal Reasoning: An Application to Normative Systems

We propose a first-order model as a possible formal basis for normative agent systems (NAS). The model allows us to describe the execution of actions in time and the use of dynamic norms. We also present its operational aspect which is based on the reduction of the deontic constraints to temporal ones. In order to show the applicability of the model we briefly describe a logic programming imple...

construction and validation of translation metacognitive strategy questionnaire and its application to translation quality

like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...

Paraconsistent sequential linear-time temporal logic and its application to medical reasoning

Prioritized logic programming and its application to commonsense reasoning

Representing and reasoning with priorities are important in commonsense reasoning. This paper introduces a framework of prioritized logic programming (PLP), which has a mechanism of explicit representation of priority information in a program. When a program contains incomplete or indefinite information, PLP is useful for specifying preference to reduce non-determinism in logic programming. Mor...